Software construction - PDFSEARCH.IO - Document Search Engine

Software construction
Results: 3327

#	Item
241	PICOBIT: A Compact Scheme System for Microcontrollers Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-06-29 15:00:00 Compiler Programming language implementation Bytecode Microcontroller Electronics Embedded system Software Computing Compiler construction
242	Delft University of Technology Software Engineering Research Group Technical Report Series Mixing Source and Bytecode – A Case for Compilation by Normalization Add to Reading List Source URL: swerl.tudelft.nl Language: English - Date: 2008-08-04 18:19:30 Programming language implementation Cross-platform software Compiler construction Java platform Java programming language Bytecode Java Compiler Python Computing Software engineering Software
243	This is a slightly edited version of a paper that appeared at the High Confidence Medical Device Software and Systems (HCMDSS) Workshop, June 2–3, 2005, Philadelphia, PA. Proofs as a Substrate for Tool Integration Supp Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2005-06-08 15:23:55 Science Formal sciences Compiler construction Mathematical logic Proof theory Isabelle Compiler Mathematical proof Model checking Logic Mathematics Programming language implementation
244	The Impact of Memory Models on Software Reliability in Multiprocessors Alexander Jaffe Thomas Moscibroda Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2011-05-12 02:28:58 Transaction processing Computer memory Compiler construction Concurrency Programming language design Linearizability Parallel computing Thread Java Memory Model Computing Logic Software engineering
245	Guide to: JULES-CCATT-BRAMS1.0 Author: Demerval Soares Moreira () CPTEC/INPE/Bazil Last revision: 15/Mar/2013 Add to Reading List Source URL: www.geosci-model-dev.net Language: English - Date: 2015-04-24 09:13:39 Compilers NetCDF Compiler construction Programming language implementation JULES GrADS GNU Compiler Collection Apache Ant Compiler Software Computing Earth sciences graphics software
246	Foundations of Fast Communication via XML Welf Löwe, Markus L. Noga, Thilo S. Gaul Institut für Programmstrukturen und Datenorganisation, Universität Karlsruhe Postfach 6980, 76128 Karlsruhe, Germany E-mail: {loewe \| Add to Reading List Source URL: welf.se Language: English - Date: 2013-04-23 05:41:26 Programming language implementation Software engineering Parsing XML LL parser LR parser Document Type Definition Context-free grammar Deterministic context-free grammar Formal languages Computing Compiler construction
247	Why Has The OSGi Specification Been Based On Java Technology? Add to Reading List Source URL: www.osgi.org Language: English - Date: 2013-02-05 20:22:04 Compiler construction Cross-platform software Java programming language OSGi Interpreter Just-in-time compilation Java Porting Interpreted language Computing Software Programming language implementation
248	Proceedings of the IASTED International Conference Artificial Intelligence and Applications (AIAFebruary, 2013 Innsbruck, Austria TEXT-TO-DIAGRAM CONVERSION: A METHOD FOR FORMAL REPRESENTATION OF NATURAL L Add to Reading List Source URL: www.cse.iitd.ac.in Language: English - Date: 2015-01-31 08:51:50 Graph theory Computational linguistics Parsing Compiler Natural language processing LL parser Diagram Graph Compiler construction Software Computing
249	Delft University of Technology Software Engineering Research Group Technical Report Series Generating Editors for Embedded Languages Add to Reading List Source URL: swerl.tudelft.nl Language: English - Date: 2008-02-18 08:41:00 Compiler construction Source code Programming language implementation Scannerless parsing Parsing Stratego/XT Domain-specific language IMP programming language Abstract syntax tree Computing Software engineering Computer programming
250	SEPTEMBERWRL Research ReportShared Memory Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2006-10-01 20:57:19 Computer memory Transaction processing Compiler construction Concurrency Programming language design Consistency model Sequential consistency Memory model Linearizability Computing Software engineering Computer architecture

UPDATE